home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
The World of Computer Software
/
The World of Computer Software.iso
/
langlist.zip
/
LANG.CAT
next >
Wrap
Internet Message Format
|
1993-01-21
|
93KB
From: muir@cogsci.berkeley.edu (David Muir Sharnoff)
Subject: Catalog of compilers, interpreters, and other language tools [part 1/2]
Organization: University of California, Berkeley
Summary: montly posting of free language tools that include source code
Last-modified: 1992/11/27
Version: 2.2
Catalog of Free Compilers and Interpreters.
This documents attempts to catalog freely availiable compilers,
interpretors, libraries, and language tools. THIS IS STILL A DRAFT
DOCUMENT: it has errors, it is not complete, and I might re-organize
it. It is my intention that it be aimed at developers rather than
researchers. I am much more intersted in production quality systems.
There is some overlap of coverage between this document and other
lists and catalogs. See the references section for a list...
To be on this list a package must have source code included. If there
are any packages on this list that do not have source code included,
then I would appreciate it if it is brought to my attention so that
I may correct the error.
There are many fields filled in with a question mark (?). If you have
information which would allow me to remove question marks, please
send it to me. The only field which I do not expect to be completely
obvious is the "parts" field because I wish to distinguish between
compilers, translators, and interpretors. To qualify as a compiler
as I'm using the term, it must compile to a machine-readable format
no higher-level than assembly. Why? Just because. If you've
got a better idea, send it in.
I hope to post this once a month. I don't know if I will be able to.
(Especially since I'm looking for a job... sigh)
David Muir Sharnoff <muir@cogsci.berkeley.edu>, 11/27/92
------------------------- selected major changes ------------------------------
Selected changes section
language package
-------- -------
new listings:
ANSI C cproto - protoizer
ANSI C cextract - header file generator
Lolli Lolli - logic programming interpreter
Parallaxis Parallaxis - SIMD Modula-2 variant
m4 GNU m4 - macro processor
BNF ? T-gen - Smalltalk parser generator
relational grammar rl - relation grammar parser
BASIC bwbasic - interpreter
BNF ? Marpa - perl parser generator
Concurrent Clean Concurrent Clean - functional language
new versions:
BNC perl-byacc - perl parser generator
C, C++ gdb - source-level debugger
logo MswLogo - interpreter
yacc Roskind Grammars - clean C, C++ grammars
ici ici - simple interpreted language
edits:
SGML smgls - It's "SGML", not "SMGL"!
IDL SunSoft OMG IDL CFE - better description
J J from ISI - improved listing
BNF Gray - improved listing
MIT Scheme CScheme - improved listing
yacc Yacc++ - removed, it is commercial
references
----------
Compilers bibliography - new listing
----------------------- selected blanks (you fill in) -------------------------
package
-------
'Tim Budd's C++ implementation of Kamin's interpreters' -- where is it?
byacc - what is the master archive, how do you reach Robert Corbett?
ATS (Attribute Translation System) - where do you get it?
PCCTS (Purdue Compiler-Construction Tool Set) - where do you get it?
franz lisp (free version) - where do you get it?
-------------------------------------------------------------------------------
------------------------------- tools -----------------------------------------
-------------------------------------------------------------------------------
language: ABC
package: ABC
version: 1.04.01
parts: ?
author: Leo Geurts, Lambert Meertens,
Steven Pemberton <Steven.Pemberton@cwi.nl>
how to get: ftp programming/languages/abc/* from mcsun.eu.net or ftp.eu.net
description: ABC is an imperative language embedded in its own
environment. It is interactive, structured,
high-level, very easy to learn, and easy to use.
It is suitable for general everyday programming,
such as you would use BASIC, Pascal, or AWK for.
It is not a systems-programming language. It is an
excellent teaching language, and because it is
interactive, excellent for prototyping. ABC programs
are typically very compact, around a quarter to a
fifth the size of the equivalent Pascal or C program.
However, this is not at the cost of readability,
on the contrary in fact.
references: "The ABC Programmer's Handbook" by Leo Geurts,
Lambert Meertens and Steven Pemberton, published by
Prentice-Hall (ISBN 0-13-000027-2)
"An Alternative Simple Language and Environment for PCs"
by Steven Pemberton, IEEE Software, Vol. 4, No. 1,
January 1987, pp. 56-64.
ports: unix, MSDOS, atari, mac
contact: abc@cwi.nl
updated: ?
language: Ada
package: Ada/Ed
version: ?
parts: translator(?), interpreter, ?
author: ?
how to get: ftp pub/Ada/Ada-Ed from cnam.cnam.fr
description: Ada/Ed is a translator-interpreter for Ada. It is
intended as a teaching tool, and does not have the
capacity, performance, or robustness of commercial
Ada compilers. Ada/Ed was developed at New York
University, as part of a long-range project in
language definition and software prototyping.
conformance: last validated with version 1.7 of the ACVC tests.
being an interpreter, it does not implement most
representation clauses, and thus does not support systems
programming close to the machine level.
contact: ? Michael Feldman <mfeldman@cs.washington.edu> ?
updated: ?
language: Ada
package: Ada grammar
version: ?
parts: scanner(lex), parser(yacc)
how to get: ftp from primost.cs.wisc.edu or mail to
compilers-server@iecc.cambridge.ma.us
contact: masticol@dumas.rutgers.edu
updated: 1991/10/12
language: Ada
package: Compiler for Toy/Ada in SML/NJ
version: ?
parts: translator(?)
author: Amit Bhatiani <bhatiaa@polly.cs.rose-hulman.edu>
how to get: ftp pub/compiler*.tar.Z from master.cs.rose-hulman.edy
conformance: subset
updated: 1992/04/08
language: Ada
package: NASA PrettyPrinter
version: ?
parts: Ada LR parser, ?
how to get: ftp from Ada Software Repository on wsmr-simtel20.army.mil
description: pretty-print program that contains an ada parser
requires: Ada
info-source: Michael Feldman <mfeldman@seas.gwu.edu> in comp.compilers
[he also has a yacc grammar for ada]
updated: 1991/02/01
language: Ada
package: yacc grammar for Ada
version: ?
parts: parser(yacc)
author: Herman Fischer
how to get: ftp PD2:<ADA.EXTERNAL-TOOLS>GRAM2.SRC
from wsmr-simtel20.army.mil
contact: ?
updated: 1991/02/01
language: Ada
package: Paradise
version: 2.0
parts: library
how to get: ftp pub/Ada/Paradise from cnam.cnam.fr
author: ?
description: Paradise is a subsystem (a set of packages) developped
to implement inter-processes, inter-tasks and
inter-machines communication for Ada programs in
the Unix world. This subsystem gives the user full
access to files, pipes, sockets (both Unix and
Internet), and pseudo-devices.
ports: Sun, Dec, Sony Mips, Verdex compiler, DEC compiler,
Alsys/Systeam compiler
contact: paradise-info@cnam.cnam.fr
updated: 1992/09/30
language: ALF (Algebraic Logic Functional programming language)
package: alf
version: ?
parts: runtime, compiler(Warren Abstract Machine)
author: Rudolf Opalla <opalla@julien.informatik.uni-dortmund.de>
description: ALF is a language which combines functional and
logic programming techniques. The foundation of
ALF is Horn clause logic with equality which consists
of predicates and Horn clauses for logic programming,
and functions and equations for functional programming.
Since ALF is an integration of both programming
paradigms, any functional expression can be used
in a goal literal and arbitrary predicates can
occur in conditions of equations.
updated: 1992/10/08
language: Algol, Foogol
package: foogol
version: ?
parts: compiler
author: ?
how to get: comp.sources.unix archive volume 8
conformance: subset of Algol
description: ?
ports: VAX
updated: ?
language: APL
package: J-mode
what: add on to J
parts: emacs macros
how to get: ftp public/j/gmacs/j-interaction-mode.el from think.com
updated: 1991/03/04
language: APL
package: I-APL
how to get: ftp languages/apl/* from watserv1.waterloo.edu
updated: 1992/07/06
language: Assembler (8051)
package: CAS: The Free Full-Featured 8051 Assembler
version: ?
parts: ?
author: ? <markh@csd4.csd.uwm.edu>
how to get: ftp /pub/8051/assem from csd4.csd.uwm.edu
description; an experimental public domain one-pass assembler for the 8051
portability: high
ports: MSDOS, ?
requries: ANSI-C compiler
updated: 1992/08/13
language: BASIC
package: bwBASIC (Bywater BASIC interpreter)
version: 1.10
parts: interpreter, shell, ?
how to get: ftp pub/bywater/* from duke.cs.duke.edu
author: Ted A. Campbell <tcamp@acpub.duke.edu>
description: ?
conformance: large superset of ANSI Standard for Minimal BASIC (X3.60-1978)
requires: ANSI C
ports: DOS, Unix
updated: 1992/11/05
language: BASIC
package: ? basic ?
version: ?
parts: paser(yacc), interpreter
author: ?
how to get: comp.sources.unix archives volume 2
updated: ?
language: BASIC
package: ? bournebasic ?
version: ?
parts: interpreter
author: ?
how to get: comp.sources.misc archives volume 1
description: ?
updated: ?
language: BASIC
package: ? basic ?
version: ?
parts: interpreter
author: ?
how to get: ftp ? from wsmr-simtel20.army.mil
description: ?
contact: ?
updated: ?
language: BASIC
package: ubasic
version: 8
parts: ?
author: Yuji Kida
how to get: ? ask archie ?
references: reviewed in Notices of the A.M.S #36 (May/June 1989),
and "A math-oriented high-precision BASIC", #38 (3/91)
contact: ?
updated: 1992/07/06
language: BNF variant
package: TXL: Tree Transformation Language
version: 6.0
parts: translator generator
author: Jim Cordy <cordy@qucis.queensu.ca>
how to get: ftp txl/00README for instructions from qusuna.qucis.queensu.ca
description: + TXL is a generalized source-to-source translation
system suitable for rapidly prototyping computer
languages and language processors of any kind. It has
been used to prototype several new programming
languages as well as specification languages, command
languages, and more traditional program transformation
tasks such as constant folding, type inference, source
optimization and reverse engineering. TXL takes
as input an arbitrary context-free grammar in extended
BNF-like notation, and a set of show-by-example
transformation rules to be applied to inputs parsed
using the grammar.
updated: 1992/02/23
language: BNF
package: Grey
version: 3
parts: parser generator(Forth)
author: Martin Anton Ertl <anton@mips.complang.tuwien.ac.at>
how to get: author; version 2 is on various ftp sites
description: Gray is a parser generator written in Forth. It takes
grammars in an extended BNF and produces executable Forth
code for recursive descent parsers. There is no special
support for error handling.
requires: Forth
ports: TILE Release 2 by Mikael Patel
updated: 1992/05/22
language: BNF ??
package: ZUSE
version: ?
parts: parser generator(?)
author: Arthur Pyster
how to get: ? Univ Calif at Santa Barbara ?
description: ll(1) paser generator
requires: Pascal
updated: 1986/09/23
language: BNF ??
package: FMQ
version: ?
parts: paser generator w/error corrector generator
author: Jon Mauney
how to get: ftp from csczar.ncsu.edu
status: ?
contact: ?
updated: 1990/03/31
language: BNF ??
package: ATS (Attribute Translation System)
version: ?
author: ? University of Saskatchewan ?
how to get: ?
description: generates table-driven LL(1) parsers with full insert-only
error recovery. It also handles full left-attribute semantic
handling, which is a dream compared to using YACC's parser
actions.
contact: ?
info-source: Irving Reid <irving@bli.com> in comp.compilers
status: ?
updated: 1988/11/29
language: BNF ??
package: PCCTS (Purdue Compiler-Construction Tool Set)
version: ?
parts: ?
how to get: ? ftp ?
contact: ? Hank Dietz <hankd@ecn.purdue.edu> ?
updated: ?
language: BNF ??
package: DEER
version: ?
parts: parser geneartor
author: Bob Grey <bob@boulder.colorado.edu>
description: LL(1) paser generator generates directly executable C,
rather than a table-driven C machine.
reference: Bob Grey, 1987 Summer Usenix proceedings.
status: ?
updated: 1988/11/29
language: BNF ??
package: LLGen
version: ?
parts: parser generator
author: ? Fischer and LeBlanc ?
how to get: ? ftp from csczar.ncsu.edu ?
description: LL(1) parser generator
conformance: subset of FMQ
reference: "Crafting A Compiler", by Fischer and LeBlanc
status: ?
contact: ?
updated: 1990/03/31
language: BNF ????
package: GMD Toolbox for Compiler Construction (aka Cocktail)
version: ?
how to get: ftp gmd/cocktail from ftp.gmd.de
msdos: ftp pub/cocktail/dos from ftp.karlsruhe.gmd.de
description: ?
requires: DJ Delorie's DOS extender (go32)
ports: msdos, unix, maybe os/2
contact: ?
msdos: grosch@karlsruhe.gmd.de
updated: 1992/10/01
language: BNF ????
package: T-gen
version: 2.1
parts: parser generator, documentation, ?
author: Justin Graver <graver@comm.mot.com>
description: T-gen is a general-purpose object-oriented tool for the
automatic generation of string-to-object translators.
It is written in Smalltalk and lives in the Smalltalk
programming environment. T-gen supports the generation
of both top-down (LL) and bottom-up (LR) parsers, which
will automatically generate derivation trees, abstract
syntax trees, or arbitrary Smalltalk objects. The simple
specification syntax and graphical user interface are
intended to enhance the learning, comprehension, and
usefulness of T-gen.
ports: ParcPlace Objectworks/Smalltalk 4.0 & 4.1
requires: Smalltalk-80
language: Milarepa (BNF variant)
package: Marpa
parts: parser-generator, examples
author: Jeffrey Kegler <jeffrey@algor2.ALGORISTS.COM>
description: Milarepa is a program which uses a subset of Marpa's
capabilities to take a file of BNF and associated
actions (in Perl!), and parse them into a Perl program
which parses its input standard, performing the
actions.
This is intended to be a real hacker's parser. It is
not restricted to LR(k), and the parse logic follows
directly from the BNF. It handles ambiguous grammars,
ambiguous tokens (tokens which were not positively
identified by the lexer) and allows the programmer to
change the start symbol. There is no fixed distinction
between terminals and non-terminals, that is, a symbol
can both match the input AND be on the left hand side
of a production. Multiple Marpa grammars are allowed
in a single perl program. The grammar is extensible.
The BNF may have productions added (or, as an
extension, deleted) after parsing has begun.
The grammar may not be left recursive. The input must
be divided into sentences of a finite maximum length.
requires: perl, C
updated: 1992/11/06
parts: ?
description: ?
requires: MSDOS: DJ Delorie's DOS extender (go32)
contact: Josef Grosch <grosch@karlsruhe.gmd.de>
ports: MSDOS, maybe OS/2, Unix
language: Bourne Shell
package: bash (Bourne Again SHell)
version: 1.12
parts: parser(yacc), interpreter, documentation
how to get: ftp bash-1.12.tar.Z from a GNU archive site
author: Brian Fox <bfox@vision.ucsb.edu>
description: ?
restriction: CopyLeft
bugs: gnu.bash.bug
updated: 1992/01/28
language: C
package: xdbx
version: 2.1
parts: X11 front end for dbx
how to get: retrieve xxgdb from comp.sources.x volumes 11, 12, 13, 14, & 16
contact: Po Cheung <cheung@sw.mcc.com>
updated: 1992/02/22
language: C
package: ups
version: 2.1
parts: interpreter, symbolic debugger, tests, documentation
how to get: ? ftp from contrib/ups*.tar.Z from export.lcs.mit.edu ?
author: Mark Russell <mtr@ukc.ac.uk>
description: Ups is a source level C debugger that runs under X11 or
SunView. Ups includes a C interpreter which allows you to add
fragments of code simply by editing them into the source window.
ports: Sun, Decstation, VAX(ultrix), HLH Clipper
discussion: ups-users-request@ukc.ac.uk
bugs: Mark Russell <mtr@ukc.ac.uk>
updated: 1991/05/20
language: C (ANSI)
package: lcc
version: 1.8
parts: compiler, test suite, documentation
author: Dave Hanson <drh@cs.princeton.edu>
how to get: ftp pub/lcc/lccfe-*.tar.Z from princeton.edu
description: + hand coded C parser (faster than yacc)
+ retargetable
+ code "as good as GCC"
ports: vax (mips, sparc, 68k backends are commercial)
status: small-scale production use using commerical backends; the
commercial backends are cheap (free?) to universities.
discussion: lcc-requests@princeton.edu
updated: 1992/02/20
language: C
package: smallc
version: ?
parts: compiler
author: ?
how to get: comp.sources.unix volume 5
description: ?
conformance: ?
ports: 68k, 6809, VAX, 8080
updated: ?
language: C
package: GCT
version: 1.3
parts: test-coverage-preprocessor
author: Brian Marick <marick@m.cs.uiuc.edu>
how to get: ftp pub/testing/GCT.README from cs.uiuc.edu
description: GCT is test-coverage tool based on GNU C. Coverage tools
measure how thoroughly a test suite exercises a program.
restriction: CopyLeft
discussion: gct-request@ernie.cs.uiuc.edu
support: commercial support available from author, (217) 351-7228
ports: sun3, sun4, rs/6000, 68k, 88k, hp-pa, ibm 3090,
ultrix, convex, sco
updated: 1992/06/27
language: C
package: Harvest C
version: 2.1
ports: Macintosh
how to get: ftp mac/development/languages/harves* from archive.umich.edu
description: ?
contact: Eric W. Sink
updated: 1992/05/26
language: C++
package: ET++
parts: class libraries, documentation
how to get: ftp C++/ET++/* or pub/* from iamsun.unibe.ch
contact: Erich Gamma <gamma@ifi.unizh.ch>
updated: 1992/10/26
language: C++
package: C++ grammar
how to get: comp.sources.misc volume 25
parts: parser(yacc)
updated: 1991/10/23
language: C++
package: COOL
version: ?
parts: libraries, tests, documentation
how to get: ftp ? from cs.utexas.edu
description: A C++ class library developed at Texas Instruments. Cool
contains a set of containers like Vectors, List, Has_Table,
etc. It uses a shallow hierarchy with no common base
class. The funtionality is close to Common Lisp data
structures (like libg++). The template syntax is very close
to Cfront3.x and g++2.x. Can build shared libraries on Suns.
contact: Van-Duc Nguyen <nguyen@crd.ge.com>
ports: ?
updated: 1992/08/05
language: C++, Extended C++
package: EC++
version: ?
parts: translator(C++), documentation
author: Glauco Masotti <masotti@lipari.usc.edu>
how to get: ? ftp languages/c++/EC++.tar.Z from ftp.uu.net ?
description: EC++ is a preprocessor that translates Extended C++
into C++. The extensions include:
+ preconditions, postconditions, and class invariants
+ parameterized classes
+ exception handling
+ garbage collection
status: ?
updated: 1989/10/10
language: C (ANSI)
package: ? 1984 ANSI C to K&R C preprocessor ?
version: ?
parts: translator(K&R C)
author: ?
how to get: from comp.sources.unix archive volume 1
status: ?
updated: ?
language: C (ANSI)
package: unproto ?
version: ? 4 ? 1.6 ?
parts: translator(K&R C)
author: Wietse Venema <wietse@wzv.win.tue.nl>
how to get: ftp pub/unix/unproto4.shar.Z from ftp.win.tue.nl
contact: ?
updated: ?
language: C (ANSI)
package: cproto
version: ?
parts: translator(K&R C)
author: Chin Huang <chin.huang@canrem.com>
how to get: from comp.sources.misc archive volume 29
description: cproto generates function prototypes from function definitions.
It can also translate function definition heads between K&R
style and ANSI C style.
ports: UNIX, MS-DOS
updated: 1992/07/18
langauge: C (ANSI)
package: cextract
version: 1.7
parts: translator(K&R C), header file generator
how to get: ftp from any comp.sources.reviewed archive
author: Adam Bryant <adb@cs.bu.edu>
description: A C prototype extractor, it is ideal for generating
header files for large multi-file C programs, and will
provide an automated method for generating all of the
prototypes for all of the functions in such a program.
It may also function as a rudimentary documentation
extractor, generating a sorted list of all functions
and their locations
ports: Unix, VMS
updated: 1992/11/03
language: C, ANSI C, C++
package: ? The Roskind grammars ?
version: ? 2.0 ?
parts: parser(yacc), documenation
author: Jim Roskind <jar@hq.ileaf.com>
how to get: ftp pub/*grammar* from ics.uci.edu
description: The C grammar is CLEAN, it does not use %prec, %assoc, and
has only one shift-reduce conflict. The C++ grammar has
a few conflicts.
status: ?
updated: 1989/12/26
language: C, C++
package: xxgdb
version: 1.06
parts: X11 front end for gdb
how to get: retrieve xxgdb from comp.sources.x volumes 11, 12, 13, 14, & 16
contact: Pierre Willard <pierre@la.tce.com>
updated: 1992/02/22
language: C, C++
package: gdb
version: 4.7
parts: symbolic debugger, documentation
how to get: ftp gdb-4.5.tar.Z from a GNU archive site
author: many, but most recently Stu Grossman <grossman@cygnus.com>
and John Gilmore <gnu@cygnus.com>
ports: most unix variants, vms, vxworks, amiga, msdos
bugs: gnu.gdb.bug
discussion: ?
restriction: CopyLeft
updated: 1992/11/01
language: C, C++, Objective C
package: emx programming environment for OS/2
parts: gcc, g++, gdb, libg++, .obj linkage, DLL, headers
how to get: ftp pub/os2/2.0/programing/emx-0.8e from ftp-os2.nmsu.edu
author: Kai-Uwe Rommel <rommel@Informatik.TU-Muenchen.DE>
updated: 1992/09/21
language: C, nroff
package: c2man
version: 1.1
parts: documentation generator (C -> nroff -man)
how to get: alt.sources archive
author: Graham Stoney <greyham@research.canon.oz.au>
description: c2man is a program for generating Unix style manual pages in
nroff -man format directly from ordinary comments embedded
in C source code
updated: 1992/07/10
language: C-Refine, C++-Refine, *-Refine
package: crefine
version: 3.0
parts: pre-processor, documentation
how to get: aquire from any comp.sources.reviewed archive
author: Lutz Prechelt <prechelt@ira.uka.de>
description: C-Refine is a preprocessor for C and languages that
vaguely resemble C's syntax. It allows symbolic naming
of code fragments so as to redistribute complexity and
provide running commentary.
portability: high
ports: unix, msdos, atari, amiga.
updated: 1992/07/16
language: CAML (Categorical Abstract Machine Language)
package: CAML
version: 3.1
parts: ?
author: ?
description: CAML is a language belonging to the ML family including:
+ lexical binding discipline
+ static type inference
+ user-defined (sum and product) types
+ possibly lazy data structures
+ possibly mutable data structures
+ interface with the Yacc parser generator
+ pretty-printing tools
+ and a complete library.
how to get: ? ftp lang/caml from nuri.inria.fr ?
status: ?
discussion: ?
ports: Sun-3 Sun-4 Sony-68k Sony-R3000 Decstation Mac-A/UX Apollo
portability: ?
bugs: weis@margaux.inria.fr or caml@margaux.inria.fr
updated: ?
language: Caml Light
package: Caml Light
version: 0.4
how to get: ftp lang/caml-light/* from nuri.inria.fr
author: Xavier Leroy <xleroy@margaux.inria.fr>
parts: bytecode compiler, runtime, scanner generator, parser generator
ports: most unix, Macintosh, Amiga, MSDOS
conformance: subset of CAML
features: very small
performance: five to ten times slower than SML-NJ
portability: very high
contact: Xavier Leroy <xleroy@margaux.inria.fr>
updated: 1991/10/05
language: Candle, IDL (Interface Description Language)
package: Scorpion System
version: 5.0
author: University of Arizona
parts: software development environment for developing
software development environments, documentation
how to get: ftp scorpion/* from cs.arizona.edu
description: 20 tools that can be used to construct specialized
programming environments
history: The Scorpion Project was started by Prof. Richard
Snodgrass as an outgrowth of the SoftLab Project (which pro-
duced the IDL Toolkit) that he started when he was at the
University of North Carolina. The Scorpion Project is
directed by him at the University of Arizona and by Karen
Shannon at the University of North Carolina at Chapel Hill.
reference: "The Interface Description Language: Definition and Use,"
by Richard Snodgrass, Computer Science Press, 1989,
ISBN 0-7167-8198-0
ports: Sun-3, Sun-4, Vax, Decstation, NeXT, Sequent, HP9000
discussion: info-scorpion-request@cs.arizona.edu
contact: scorpion-project@cs.arizona.edu
updated: 1991/04/10
language: Common Lisp
package: CMU Common Lisp
version: 16e
parts: compiler, runtime, documentation, editor
author: ?
how to get: ftp *-source.tar.Z from ftp.cs.cmu.edu. precompiled versions
also available
description: includes macs-like editor (hemlock), pcl, and clx.
ports: sparc, mips
contact: slisp@cs.cmu.edu
updated: 1992/09/01
language: Common Lisp
package: PCL (Portable Common Loops)
version: 8/28/92 PCL
parts: library
author: ? Richard Harris <rharris@ptolemy2.rdrc.rpi.edu> ?
how to get: ftp pcl/* from parcftp.xerox.com
description: A portable CLOS implementation. CLOS is the object oriented
programming standard for Common Lisp. Based on Symbolics
FLAVORS and Xerox LOOPS, among others. Loops stands for
Lisp Object Oriented Programming System.
status: ?
ports: Lucid CL 4.0.1, CMUCL 16e, ?
updated: 1992/09/02
language: Common Lisp
package: WCL
version: ?
parts: ?, shared library runtime, source debugger
author: Wade Hennessey <wade@leland.Stanford.EDU>
how to get: ftp ? from sunrise.stanford.edu
description: A common lisp implementation as a shared library. WCL
Is not a 100% complete Common Lisp, but it does have
the full development environment including dynamic file
loading and debugging. A modified version of GDB provides
mixed-language debugging. A paper describing WCL was
published in the proceedings of the 1992 Lisp and Functional
Programming Conference.
contact: Wade Hennessey <wade@leland.Stanford.EDU>
ports: Sun sparc.
updated: 1992/09/29
language: CommonLisp
package: KCL (Kyoto Common Lisp)
parts: translator(C), interpretor
how to get: ? ftp pub/kcl*.tar.Z from rascal.ics.utexas.edu ?
author: T. Yuasa and M. Hagiya (working under R. Nakajima) at the
description: KCL, Kyoto Common Lisp, is an implementation of Lisp,
It is written in the language C to run under Un*x-like
operating systems. KCL is very C-oriented; for example,
the compilation of Lisp functions in KCL involves a
subsidiary C compilation.
conformance: conforms to the book ``Common Lisp: The Language,''
G. Steele, et al., Digital Press, 1984.
contact: yuasa@tutics.tut.ac.jp hagiya@kurims.kurims.kyoto-u.ac.jp
discussion: kcl-request@cli.com
bugs: kcl@cli.com
updated: 1987/06
language: CommonLisp
package: AKCL (Austin Kyoto Common Lisp)
version: 1-600
parts: patches to KCL
how to get: ftp pub/akcl-*.tar.Z from rascal.ics.utexas.edu
author: Bill Schelter <wfs@rascal.ics.utexas.edu>
description: AKCL is a collection of ports, bug fixes, and
performance improvements to KCL.
ports: Decstation3100, HP9000/300, i386/sysV, IBM-PS2/aix, IBM-RT/aix
SGI Sun-3/Sunos[34].* Sun-4 Sequent-Symmetry IBM370/aix,
VAX/bsd VAX/ultrix
updated: 1991/09/17
language: CommonLisp
package: CLX
version: 5.01
parts: library
how to get: ftp contrib/CLX.R5.01.tar.Z from export.lcs.mit.edu
description: CommonLisp binding for X
contact: ?
ports: ?, CMU Common Lisp
bugs: bug-clx@expo.lcs.mit.edu
updated: 1992/08/26
language: CommonLisp
package: CLISP
version: ?
parts: interpreter, translator?, library
how to get: ftp pub/lisp/clisp/linux/* from
ma2s2.mathematik.uni-karlsruhe.de
author: Bruno Haible <haible@haible@ma2s2.mathematik.uni-karlsruhe.de>
description: runs in only 1.5MB of memory
ports: Sun4, Linix, DOS, Atari
conformance: CLISP is mostly CLtL1 compliant. It implements 99% of the
standard
restriction: not all source included
updated: 1992/10/11
language: Concurrent Clean
package: The Concurrent Clean System
version: 0.8.1
parts: development environment, documentation, compiler(byte-code),
compiler(native), interpreter(byte-code), examples
how to get: ftp pub/Clean/* from ftp.cs.kun.nl
author: Research Institute for Declarative Systems, University of Nijmegen
description: The Concurrent Clean system is a programming
environment for the functional language Concurrent
Clean, developed at the University of Nijmegen, The
Netherlands. The system is one of the fastest
implementations of functional languages available at
the moment. Its I/O libraries make it possible to do
modern, yet purely functional I/O (including windows,
menus, dialogs etc.) in Concurrent Clean. With the
Concurrent Clean system it is possible to develop
real-life applications in a purely functional
language.
* lazy and purely functional
* strongly typed - based on Milner/Mycroft scheme
* module structure
* modern I/O
* programmer-infulenced evaluation order by annotations
contact: clean@cs.kun.nl
ports: Sun-3, Sun-4, Macintosh
updated: 1992/11/07
language: CLP (Constraint Logic Programming language)
package: CLP(R)
version: 1.2
parts: runtime, compiler(byte-code), contstraint solver
author: IBM
how to get: mail to Joxan Jaffar <joxan@watson.ibm.com>
description: CLP(R) is a constraint logic programming language
with real-arithmetic constraints. The implementation
contains a built-in constraint solver which deals
with linear arithmetic and contains a mechanism
for delaying nonlinear constraints until they become
linear. Since CLP(R) subsumes PROLOG, the system
is also usable as a general-purpose logic programming
language. There are also powerful facilities for
meta programming with constraints. Significant
CLP(R) applications have been published in diverse
areas such as molecular biology, finance, physical
modelling, etc.
We are distributing CLP(R) in order to help widen the use
of constraint programming, and to solicit feedback on the system
restriction: free for academic and research purposes only
contact: Roland Yap <roland@bruce.cs.monash.edu.au>, Joxan Jaffar
ports: unix, msdos, OS/2
updated: 1992/10/14
language: csh (C-Shell)
package: tcsh
version: 6.02
parts: interpreter
author: Christos Zoulas <christos@ee.cornell.edu>
how to get: ?
description: a modified C-Shell with history editing
updated: 1992/05/17
language: Dylan
pakcage: Thomas
version: ? first public release ?
parts: translator(Scheme)
how to get: ftp pub/DEC/Thomas from gatekeeper.pa.dec.com
author: Matt Birkholz <Birkholz@crl.dec.com>, Jim Miller <JMiller@crl.dec.com>,
Ron Weiss <RWeiss@crl.dec.com>
description: Thomas, a compiler written at Digital Equipment
Corporation's Cambridge Research Laboratory compiles
a language compatible with the language described
in the book "Dylan(TM) an object-oriented dynamic
language" by Apple Computer Eastern Research and
Technology, April 1992. It does not perform well.
Thomas is NOT Dylan(TM).
ports: MIT's CScheme, DEC's Scheme->C, Marc Feeley's Gambi, Mac, PC,
Vax, MIPS, Alpha, 680x0
requires: Scheme
updated: 1992/09/11
language: EDIF (Electronic Design Interchange Format)
package: Berkeley EDIF200
version: 7.6
parts: translator-building toolkit
author: Wendell C. Baker and Prof A. Richard Newton of the Electronics
Research Laboratory, Department of Electrical Engineering and
Computer Sciences at the University of California, Berkeley, CA.
how to get: ftp from pub/edif in ic.berkeley.edu
description: ?
ports: ?
restriction: no-profit w/o permission
updated: 1990/07
language: EDIF v 2 0 101
package: University of Manchester EDIF v 2 0 101 Syntax Checker
how to get: ftp pub/edif from edif.cs.man.ac.uk
description: Parser/Syntax checker for EDIF v 2 0 101 written in ANSI-C
language: EuLisp
package: Feel (Free and Eventually Eulisp)
version: 0.75
parts: interpreter, documentation
how to get: ftp pub/eulisp from ftp.bath.ac.uk
author: Pete Broadbery <pab@maths.bath.ac.uk>
description: + integrated object system
+ a module system
+ parallelism
+ interfaces to PVM library, tcp/ip sockets, futures,
Linda, and CSP.
ports: most unix
portability: high, but can use shared memory and threads if available
updated: 1992/09/14
language: FMPL of Accardi
package: FMPL interpreter
version: 1
parts: interpreter, documentation
author: Jon Blow <blojo@xcf.berkeley.edu>
how to get: ftp src/local/fmpl/* from xcf.berkeley.edu
description: FMPL is an experimental prototype-based object-oriented
programming language developed at the Experimental Computing
Facility of the University of California, Berkeley.
+ lambda-calculus based constructs.
+ event-driven (mainly I/O events)
updated: 1992/06/02
language: FORTH
package: TILE Forth
version: 2.1
parts: interpreter
author: Mikael Patel <mip@sectra.se>
how to get: ftp tile-forth-2.1.tar.Z from a GNU archive site
description: Forth interpreter in C; many Forth libraries
conformance: Forth83
restriction: shareware/GPL
ports: unix
updated: 1991/11/13
language: FORTH
package: cforth
version: ?
parts: interpreter
author: ?
how to get: comp.sources.unix archive volume 1
description: ?
updated: ?
language: Forth, Yerk
package: Yerk
version: 3.62
parts: ?
how to get: ftp pub/Yerk/? from oddjob.uchicago.edu
description: Yerk is an object oriented language based on a
Forth Kernel with some major modifications. It
was originally known as Neon, developed and sold
as a product by Kriya Systems from 1985 to 1989.
Several of us at The University of Chicago have
maintained Yerk since its demise as a product.
Because of the possible trademark conflict that
Kriya mentions, we picked the name Yerk, which is
at least not an acronym for anything, but rather
stands for Yerkes Observatory, part of the Department
of Astronomy and Astrophysics at U of C.
author: ?
updated: ?
language: Fortran
package: f2c
version: ?
parts: translator(C)
author: ?
how to get: ftp ft2/? from netlib@research.att.com
bugs: dmg@research.att.com
updated: ? 1991/02/16 ?
language: Fortran
package: Floppy
version: ?
how to get: ffccc in comp.sources.misc archive volume 12
description: ?
contact: ?
updated: 1992/08/04
language: Fortran
package: Flow
version: ?
parts: ?
how to get: comp.sources.misc archive volume 31
author: Julian James Bunn <julian@vxcrna.cxern.ch>
descripton: The Flow program is a companion to Floppy, it allows the user
to produce various reports on the structure of Fortran
77 code, such as flow diagrams and common block tables.
requires: Floppy
ports: VMS, Unix, CMS
language: Fortran
package: Adaptor (Automatic DAta Parallelism TranslatOR)
version: ?
parts: translator(Fortran), documentation
how to get: ftp gmd/adaptor/* from ftp.gmd.de
description: Adaptor is a tool that transforms data parallel
programs written in Fortran with array extensions,
parallel loops, and layout directives to parallel
programs with explicit message passing.
ADAPTOR is not a compiler but a source to source
transformation that generates Fortran 77 host and
node programs with message passing. The new
generated source codes have to be compiled by the
compiler of the parallel machine.
ports: Alliant FX/2800, iPSC/860, Net of Sun-4 or RS/6000
Workstations (based on PVM), Parsytec GCel, Meiko Concerto
contact: Thomas Brandes <brandes@gmdzi.gmd.de>
updated: 1992/10/17
language: FP
package: ? funcproglang ?
version: ?
parts: translator(C)
author: ?
how to get: comp.sources.unix archive volume 13
descrition: ? Backus Functional Programming ?
updated: ?
language: Garnet ??
package: Garnet
version: 2.1 alpha
how to get: ftp from /usr/garnet/? from a.gp.cs.cmu.edu
description: ?
contact: ?
updated: ?
language: Garnet
package: Multi-Garnet
version: 2.1
how to get: ftp /usr/garnet/alpha/src/contrib/multi-garnet from a.gp.cs.cmu.edu
author: Michael Sannella <sannella@cs.washington.edu>
description: better contstraint system for Garnet ??
updated: 1992/09/21
language: Gofer (Haskell derivitive)
package: Gofer
version: 2.23
parts: interpreter, documentation, examples
author: Mark Jones <jones-mark@cs.yale.edu>
how to get: ftp pub/haskell/gofer from nebula.cs.yale.edu
uk: pub/Packages/Gofer from ftp.comlab.ox.ac.uk
conformances: Gofer does not implement all of Haskell, although it is
very close.
ports: many, including Sun, PC, Mac, Atari, Amiga
updated: 1992/09/05
language: Haskell
package: Chalmers Haskell (aka Haskell B.)
version: ?
parts: ?
how to get: ftp pub/haskell/chalmers/hbc from animal.cs.chalmers.se
requires: LML
contact: ?
updated: 1992/07/06
language: Hermes
package: IBM Watson prototype Hermes system
version: 0.8alpha patchlevel 01
parts: bytecode compiler, bytecode translator(C), runtime
author: Andy Lowry <lowry@watson.ibm.com>
how to get: ftp pub/hermes/README from software.watson.ibm.com
description: Hermes is a very-high-level integrated language and
system for implementation of large systems and
distributed applications, as well as for
general-purpose programming. It is an imperative,
strongly typed, process-oriented language. Hermes
hides distribution and heterogeneity from the
programmer. The programmer sees a single abstract
machine containing processes that communicate using
calls or sends. The compiler, not the programmer,
deals with the complexity of data structure layout,
local and remote communication, and interaction with
the operating system. As a result, Hermes programs are
portable and easy to write. Because the programming
paradigm is simple and high level, there are many
opportunities for optimization which are not present in
languages which give the programmer more direct control
over the machine.
reference: Strom, Bacon, Goldberg, Lowry, Yellin, Yemini. Hermes: A
Language for Distributed Computing. Prentice-Hall, Englewood
Cliffs, NJ. 1991. ISBN: O-13-389537-8.
ports: RS6000 Sun-4 NeXT IBM-RT/bsd4.3 (Sun-3 and Convex soon)
discussion: comp.lang.hermes
updated: 1992/03/22
language: Hope
package: ?
parts: ?
how to get: ftp ? from brolga.cc.uq.oz.au
author: ?
description: Functional language with polymorphic types and lazy lists.
First language to use call-by-pattern.
ports: Unix, Mac, PC
updated: 1992/11/27
language: ici
package: ici
parts: interpreter, documentation, examples
author: Tim Long
how to get: ftp pub/ici.cpio.Z from extro.ucc.su.oz.au
description: ICI has dynamic arrays, structures and typing with the flow
control constructs, operators and syntax of C. There are
standard functions to provided the sort of support provided
by the standard I/O and the C libraries, as well as addi-
tional types and functions to support common needs such as
simple data bases and character based screen handling.
ports: Sun4, 80x86 Xenix, NextStep, MSDOS
features: + direct access to many system calls
+ structures, safe pointers, floating point
+ simple, non-indexed built in database
+ terminal-based windowing library
contact: ?
portability: high
status: actively developed.
updated: 1992/11/10
language: Icon
package: icon
version: 8.7 (8.5, 8.0 depending on platform)
parts: interpreter, compiler (some platforms), library
author: Ralph Griswold <ralph@CS.ARIZONA.EDU>
how to get: ftp icon/* from cs.arizona.edu
description: Icon is a high-level, general purpose programming language that
contains many features for processing nonnumeric data,
particularly for textual material consisting of string of
characters.
- no packages, one name-space
- no exceptions
+ object oiented features
+ records, sets, lists, strings, tables
+ unlimited line length
- unix interface is primitive
+ co-expressions
references: "The Icon Programmming Language", Ralph E. Griswold and
Madge T. Griswold, Prentice Hall, seond edition, 1990.
"The Implementation of the Icon Programmming Language",
Ralph E. Griswold and Madge T. Griswold, Princeton
University Press 1986
ports: Amiga, Atari, CMS, Macintosh, Macintosh/MPW, MSDOS, MVS, OS/2,
Unix (most variants), VMS
discussion: comp.lang.icon
contact: icon-project@cs.arizona.edu
updated: 1992/08/21
language: IDL (Project DOE's Interface Definition Language)
package: SunSoft OMG IDL CFE
version: 1.0
parts: compiler front end, documentation
author: SunSoft Inc.
how to get: ftp pub/OMG_IDL_CFE_1.0 from omg.org
description: OMG's (Object Management Group) CORBA 1.1 (Common
Object Request Broker Architecture) specification
provides the standard interface definition between
OMG-compliant objects. IDL (Interface Definition
Language) is the base mechanism for object
interaction. The SunSoft OMG IDL CFE (Compiler Front
End) provides a complete framework for building CORBA
1.1-compliant preprocessors for OMG IDL. To use
SunSoft OMG IDL CFE, you must write a back-end; full
instructions are included. No problem. A complete
compiler of IDL would translate IDL into client side
and server side routines for remote communication in
the same manner as the currrent Sun RPCL compiler. The
additional degree of freedom that the IDL compiler
front end provides is that it allows integration of new
back ends which can translate IDL to various
programming languages. Locally at Sun we are working on
a back end that will produce C and C++, and we know of
companies (members of OMG) that are interested in other
target languages such as Pascal or Lisp.
contact: idl-cfe@sun.com
updated: 1992/10/23
language: IFP (Illinois Functional Programming)
package: ifp
version: 0.5
parts: interpreter
author: Arch D. Robison <robison@shell.com>
how to get: comp.sources.unix archive volume 10
description: A variant of Backus' "Functional Programming" language
with a syntax reminiscent of Modula-2. The interpreter
is written in portable C.
references: [1] Arch D. Robison, "Illinois Functional Programming: A
Tutorial," BYTE, (February 1987), pp. 115--125.
[2] Arch D. Robison, "The Illinois Functional Programming
Interpreter," Proceedings of 1987 SIGPLAN Conference on
Interpreters and Interpretive Techniques, (June 1987), pp. 64-73
ports: UNIX, MS-DOS, CTSS (Cray)
updated: ?
language: INTERCAL
package: ?
version: ?
how to get: archie?
description: ?
contact: ?
updated: ?
language: J
package: J from ISI
version: 6
parts: ?, tutorial
how to get: ftp languages/apl/j/* from watserv1.waterloo.edu
author: Kenneth E. Iverson and Roger Hui <hui@yrloc.ipsa.reuter.com>
ports: Dec, NeXT, SGI, Sun-3, Sun-4, VAX, RS/6000, MIPS, Mac,
IBM-PC, Atari, 3b1, Amiga
updated: 1992/10/31
language: Janus
package: qdjanus
version: 1.3
parts: translator(prolog)
author: Saumya Debray <debray@cs.arizona.edu>
how to get: ftp janus/qdjanus/* from cs.arizona.edu
conformance: mostly compliant with "Programming in Janus" by
Saraswat, Kahn, and Levy.
description: janus is a janus-to-prolog compiler meant to be used
with Sicstus Prolog
updated: 1992/05/18
language: Janus
package: jc
version: 1.50 alpha
parts: translator(C)
author: David Gudeman <gudeman@cs.arizona.edu>
how to get: ftp janus/jc/* from cs.arizona.edu
description: jc is a janus-to-C compiler (considerably faster than qdjanus).
jc is a _sequential_ implementation of a _concurrent_ language.
status: jc is an experimental system, undergoing rapid development.
It is in alpha release currently.
bugs: jc-bugs@cs.arizona.edu
discussion: janusinterest-request@parc.xerox.com
ports: sun-4, sun-3, Sequent Symmetry
updated: 1992/06/09
language: Kevo
package: kevo
version: 0.9b2
parts: ?, demo programs, user's guid, papers
author: Antero Taivalsaari <antero@csr.uvic.ca>
how to get: ftp /ursa/kevo/* from ursamajor.uvic.ca
description: Experimental prototype-based object-oriented system.
Although the Kevo system has been built to experiment
with ideas which are somewhat irrelevant from the
viewpoint of Forth, the system does bear some
resemblance to Forth; in particular, the system
executes indirect threaded code, and a great deal
of the primitives are similar to those of Forth's.
ports: Macintosh ('020 or better)
contact: kevo-interest@ursamajor.uvic.ca
updated: 1992/09/21
language: Lambda-Prolog
package: Prolog/Mali (PM)
version: ? 6/23/92 ?
parts: translator(C), linker, libraries, runtime, documentation
how to get: ftp pm/* from ftp.irisa.fr
author: Pascal Brisset <brisset@irisa.fr>
description: Lambda-Prolog, a logic programming language defined by
Miller, is an extension of Prolog where terms are
simply typed $\lambda$terms and clauses are higher
order hereditary Harrop formulas. The main novelties
are universal quantification on goals and implication.
references: + Miller D.A. and Nadathur G. "Higher-order logic programming",
3rd International Conference on Logic Programming, pp 448-462,
London 1986.
+ Nadathur G. "A Higher-Order Logic as a Basis for Logic
Programming", Thesis, University of Pennsylvania, 1987.
requires: MALI-V06 abstract memory. MALI is available by anonymous ftp
from ftp.irisa.fr
ports: unix
discussion: prolog-mali-request@irisa.fr
contact: pm@irisa.fr
updated: 1992/07/06
language: lex
package: flex
version: 2.3.7
parts: scanner generator
how to get: ftp flex-2.3.7.tar.Z from a GNU archive site or ftp.ee.lbl.gov
author: Vern Paxson <vern@ee.lbl.gov>
updated: 1992/10/20
language: lisp
package: xlisp
version: 2.0
parts: interpreter
author: David Micheal Betz / 127 Taylor Road / Peterborough, NH 03458
/ (603) 924-6936 (home)
how to get: ? ftp languages/lisp/xlisp.shar.Z from ftp.uu.net ?
description: XLISP is an experimental programming language
combining some of the features of Common Lisp with an
object-oriented extension capability. It was
implemented to allow experimentation with
object-oriented programming on small computers.
conformance: subset of Common Lisp with additions of Class and Object
ports: unix, amiga, atari, mac, MSDOS
contact: Brad Davis <b-davis@cs.utah.edu> (unix port)
restriction: no commercial use
updated: 1992/05/26 (unix), 1987/12/16 (other platforms)
language: lisp
package: "LISP, Objects, and Symbolic Programming"
version: ?
parts: book with compiler included
author: Robert R. Kessler and Amy R. Petajan
publisher: Scott, Foresman and Company, Glenview, IL
how to get: bookstore...
updated: 1988
language: lisp
package: franz lisp
version: ?
how to get: ?
author: ?
updated: ?
language: Logo
package: logo
version: 4
parts: interpreter
author: ?
how to get: comp.sources.unix archive volume 10
description: ?
updated: ?
language: Logo
package: MswLogo
version: 2.4
parts: interpreter
author: George Mills <mills@athena.lkg.dec.com>
how to get: ftp pub/comp.lang.logo/programs/mswlogo from cher.media.mit.edu
history: The core of this Version of Logo comes from a project done by
Boston Childrens Museum and Lincoln Sudbury Regonal High
School. The port to Windows was done by George Mills of DEC.
description: The Core of this Version of Logo comes from a
project done by Boston Childrens Museum and Lincoln
Sudbury Regonal High School. The Port to Windows
was done by George Mills Digital Equipment Corporation.
Digital Equipment Corporation takes no responsibility
for the software.
status: activly developed
ports: MS Windows 3.x
updated: 1992/10/17
language: Logo
package: Berkeley Logo
version: 2.7 - alpha
parts: ?
author: Brian Harvey <bh@anarres.CS.Berkeley.EDU>
how to ge: ftp pub/*logo* from anarres.cs.berkeley.edu
description: ?
ports: unix, pc, mac
updated: 1992/09/29
language: Lolli (logic programming)
package: Lolli
parts: ?
how to get: ftp pub/Lolli/Lolli-07.tar.Z. from ftp.cis.upenn.edu
author: ? Josh Hodas <hodas@saul.cis.upenn.edu> ?
description: Lolli is an interpreter for logic programming based
on linear logic principles.
Lolli can be viewed as a refinement of the the
Hereditary Harrop formulas of Lambda-Prolog. All the
operators (though not the higher order unification) of
Lambda-Prolog are supported, but with the addition of
linear variations. Thus a Lolli program distinguishes
between clauses which can be used as many, or as few,
times as desired, and those that must be used exactly
once.
requires: ML
updated: 1992/11/08
language: ML
package: LML
version: ?
parts: compiler(?), interactive environment
how to get: ftp ? from animal.cs.chalmers.se
description: lazy, completely functional variant of ML.
ports: ?
contact: ?
updated: 1992/07/06
language: Modula-2*
package: Modula-2* compiler
version: ?
author: Michael Philippsen <phlipp@ira.uka.de>
how to get: ftp pub/programming/modula2start/* from iraun1.ira.uka.de
updated: 1992/06/09
description: Modula-2* constructs allow for clear and portable parallel
software without intolerable loss of efficiency. T
+ programming model is superset of of data parallelism.
+ control mode supports both SIMD and MIMD
+ nestable parallelism may be nested
+ proceedures may be called from parallel contexts
+ efficient code possible for both SIMD and MIMD architectures
restriction: this may be binary-only, user registration requested
ports: Sun-4 MasPar
language: Modula-2, Pascal
package: m2
version: ? 7/2/92 ?
parts: ? compiler ?
history: The compiler was designed and built by Michael L.
Powell, and originally released in 1984. Joel
McCormack sped the compiler up, fixed lots of bugs, and
swiped/wrote a User's Manual. Len Lattanzi ported the
compiler to the MIPS.
description: A modula-2 compiler for VAX and MIPS. A Pascal
compiler for VAX is also included. The Pascal compiler
accepts a language that is almost identical to Berkeley
Pascal.
conformance: extensions:
+ foreign function and data interface
+ dynamic array variables
+ subarray parameters
+ multi-dimensional open array parameters
+ inline proceedures
+ longfloat type
+ type-checked interface to C library I/O routines
how to get: ftp pub/DEC/Modula-2/m2.tar.Z from gatekeeper.dec.com
restriction: must pass changes back to Digital
ports: vax (ultrix, bsd), mips (ultrix)
contact: modula-2@decwrl.pa.dec.com
updated: 1992/07/06
langauge: m4
package: GNU m4
version: 1.0
parts: interperter, ?
how to get: ftp m4-1.0.tar.Z from a GNU archive site
author: ?
description: A macro preprocessor language, somewhat flexible.
conformance: ?
ports: ?
updated: 1991/10/25
language: Modula-2
package: fst
version; 3.0
parts: compiler
how to get: ftp pub/modula-2/pc/* from ftp.psg.com
author: Fitted Software Tools (Inc)
restriction: Shareware
ports: msdos
updated: 1992/10/09
language: Modula-3
package: SRC Modula-3
version: 2.01
parts: translator(C), runtime, library, documentation
how to get: ftp pub/DEC/Modula-3/m3-*.tar.Z from gatekeeper.dec.com
description: The goal of Modula-3 is to be as simple and safe as it
can be while meeting the needs of modern systems
programmers. Instead of exploring new features, we
studied the features of the Modula family of languages
that have proven themselves in practice and tried to
simplify them into a harmonious language. We found
that most of the successful features were aimed at one
of two main goals: greater robustness, and a simpler,
more systematic type system. Modula-3 retains one of
Modula-2's most successful features, the provision for
explicit interfaces between modules. It adds objects
and classes, exception handling, garbage collection,
lightweight processes (or threads), and the isolation
of unsafe features.
ports: ?, Ultrix, RS6000
contact: Bill Kalsow <kalsow@src.dec.com>
discussion: comp.lang.modula3
updated: 1992/02/09
language: Modula2
package: mtc
parts: translator(C)
how to get: ftp soft/unixtools/compilerbau/mtc.tar.Z
from rusmv1.rus.uni-stuttgart.de
author: ?
description: ?
ports: ?
updated: 1991/10/25
language: Modula2, Pascal
package: ?? metro ??
version: ? beta
parts: ?
how to get: ftp from mips1.info.uqam.ca using metro, password release4.0
description: ?
ports: Sparc (Modula2 only), Macintosh
contact: Marcel Achim <achim@mips1.info.uqam.ca>
language: Motorola DSP56001 assembly
package: a56
version: 1.1
parts: assembler
author: Quinn C. Jensen <jensenq@qcj.icon.com>
how to get: alt.sources archive
updated: 1992/08/10
language: natural languages
package: proof
parts: parser, documentation
author: Craig R. Latta <latta@xcf.Berkeley.EDU>
how to get: ftp src/local/proof/* from scam.berkeley.edu
description: a left-associative natural language grammar scanner
bugs: proof@xcf.berkeley.edu
discussion: proof-request@xcf.berkeley.edu ("Subject: add me")
ports: Decstation3100 Sun-4
updated: 1991/09/23
language: new awk
package: mawk
version: 1.1.2
how to get: ftp public/mawk* from oxy.edu
parts: interpreter
author: Mike Brennan <brennan@bcsaic.boeing.com>
conformance: superset
+ RS can be a regular expression
features: + faster than most new awks
ports: sun3,sun4:sunos4.0.3 vax:bsd4.3,ultrix4.1 stardent3000:sysVR3
decstation:ultrix4.1 msdos:turboC++
contact: Mike Brennan <brennan@bcsaic.boeing.com>
status: actively developed
updated: 1992/10/09
language: new awk
package: gawk
version: 2.13
author: David Trueman <david@cs.dal.ca> and Arnold Robbins
how to get: ftp gawk-2.13.2.tar.Z from a GNU archive site
conformance: superset
ports: unix, msdos:msc5.1
status: activly developed
ports: ?
updated: 1991/06/24
language: Oaklisp
package: oaklisp
version: 1.2
parts: interface, bytecode compiler, runtime system, documentation
author: Barak Pearlmutter, Kevin Lang
how to get: ftp /afs/cs.cmu.edu/user/bap/oak/ftpable/* from f.gp.cs.cmu.edu
description: Oaklisp is a Scheme where everything is an object. It
provides multiple inheritence, a strong error system,
setters and locators for operations, and a facility for
dynamic binding.
status: actively developed?
contact: Pearlmutter-Barak@CS.Yale.Edu ?
updated: 1992/05 ?
language: Oberon
package: Oberon from ETH Zurich
version: 2.2 (msdos: 1.0)
parts: compiler, programming environment, libraries, documenation
how to get: ftp Oberon/* from neptune.inf.ethz.ch
MSDOS: ftp Oberon/DOS386/* from neptune.inf.ethz.ch
macintosh: ??? same package or different ??? ftp
/mac/development/languages/macoberon2.40.sit.hqxfrom archive.umich.edu
author: Josef Templ <templ@inf.ethz.ch>
conformance: superset (except Mac)
ports: DECstation/MIPS/Ultrix/X11 Macintosh/68020/MacOS/QuickDraw
IBM/RS6000/AIX/X11 Sun-4/SunOS4/X11 Sun-4/SunOS4/pixrect
MSDOS
contact: Leuthold@inf.ethz.ch
updated: 1992/07/20
language: Oberon2
package: Oberon-2 LEX/YACC definition
version: 1.4
parts: parser(yacc), scanner(lex)
how to get: mail bevan@cs.man.ac.uk with Subject "b-server-request~ and
body "send oberon/oberon_2_p_v1.4.shar"
author: Stephen J Bevan <bevan@cs.man.ac.uk>
parts: scanner(lex) parser(yacc)
status: un-officially supported
updated: 1992/07/06
language: OPS5
package: PD OPS5
version: ?
parts: interpreter
how to get: ftp /afs/cs.cmu.edu/user/mkant/Public/Lisp/ops5* from
ftp.cs.cmu.edu
author: Written by Charles L. Forgy and ported to Common Lisp by
George Wood and Jim Kowalski.
description: Public domain implementation of an OPS5 interpreter. OPS5 is
a programming language for production systems. ??????
contact: ? Mark Kantrowitz <mkant+@cs.cmu.edu> ?
requires: CommonLisp
updated: 1992/10/17
language: Parallaxis
package: parallaxis
version: 2.0
parts: ?, simulator, x-based profiler
author: ?
how to get: ftp pub/parallaxis from ftp.informatik.uni-stuttgart.de
description: Parallaxis is a procedural programming language based
on Modula-2, but extended for data parallel (SIMD) programming.
The main approach for machine independent parallel programming
is to include a description of the virtual parallel machine
with each parallel algorithm.
ports: MP-1, CM-2, Sun-3, Sun-4, DECstation, HP 700, RS/6000
contact: ? Thomas Braunl <braunl@informatik.uni-stuttgart.de> ?
updated: 1992/10/23
language: Parlog
package: SPM System (Sequential Parlog Machine)
version: ?
parts: ?, documenation
author: ?
how to get: ? ftp lang/Parlog.tar.Z from nuri.inria.fr
description: a logic programming language ?
references: Steve Gregory, "Parallel Logic Programming in PARLOG",
Addison-Wesely, UK, 1987
ports: Sun-3 ?
restriction: ? no source code ?
updated: ??
language: Pascal
package: p2c
version: 1.15
parts: translator(C)
author: Dave Gillespie <daveg@csvax.caltech.edu>
how to get: comp.sources.unix archive volume 21, 22
conformance: ?
ports: ?
updated: 1990/04/13
language: Pascal
package: ? iso_pascal ?
version: ?
parts: scanner(lex), parser(yacc)
author: ?
how to get: comp.sources.unix archive volume 13
description: ?
updated: ?
language: Pascal, Lisp, APL, Scheme, SASL, CLU, Smalltalk, Prolog
package: Tim Budd's C++ implementation of Kamin's interpreters
version: ?
parts: interpretors, documentation
author: Tim Budd <budd@fog.cs.orst.edu>
how to get: ? ftp pub/budd/kamin/*.shar from cs.orst.edu ?
description: a set of interpretors written as subclasses based on
"Programming Languages, An Interpreter-Based Approach",
by Samuel Kamin.
requires: C++
status: ?
contact: Tim Budd <budd@fog.cs.orst.edu>
updated: 1991/09/12
language: Perl (Practical Extraction and Report Language)
package: perl
version: 4.0 patchlevel 35
parts: interpreter, debugger, libraries, tests, documentation
how to get: ftp from jpl-devvax.jpl.nasa.gov or comp.sources.misc archive
OS/2 port: ftp ? from hobbes.nmsu.edu
Mac port: ftp pub/Mac/Mac_Perl_404_*.hqx from ftp.maths.tcd.ie
Amiga port: ftp perl4.035.V010.* from wuarchive.wustl.edu
author: Larry Wall <lwall@netlabs.com>
description: perl is an interpreted language optimized for scanning
arbitrary text files, extracting information from those text
files, and printing reports based on that information. It's
also a good language for many system management tasks.
features: + very-high semantic density becuase of powerful operators
like regular expression substitution
+ exceptions, provide/require
+ associative array can be bound to dbm files
+ no arbitrary limits
+ direct access to almost all system calls
+ can access binary data
+ many powerful common-task idioms
- three variable types: scalar, array, and hash table
- unappealing syntax
references: "Programming Perl" by Larry Wall and Randal L. Schwartz,
O'Reilly & Associates, Inc. Sebastopol, CA.
ISBN 0-93715-64-1
discussion: comp.lang.perl
bugs: comp.lang.perl; lwall@netlabs.com
ports: almost all unix, MSDOS, macintosh, amiga, OS/2
portability: very high for unix, low for other systems
updated: 1992/10/12
language: perl, awk, sed, find
package: a2p, s2p, find2perl
parts: translators(perl)
author: Larry Wall
how to get: comes with perl
description: translators to turn awk, sed, and find into perl.
language: perl, yacc
package: perl-byacc
version: 1.8.1
parts: parser-generator(perl)
how to get: ftp local/perl-byacc1.8.1.tar.Z from ftp.sterling.com
author: Rick Ohnemus <rick@IMD.Sterling.COM>
description: A modified version of byacc that generates perl code.
updated: 1992/10/20
language: Postscript
package: Ghostscript
version: 2.5.2
parts: interpreter, ?
author: L. Peter Deutsch <ghost%ka.cs.wisc.edu@cs.wisc.edu>
how to get: ftp pub/GNU/ghostscript* from a GNU archive site
description: ?
updated: 1992/10/07
language: Postscript, Common Lisp
package: PLisp
version: ?
parts: translator(Postscript), programming environment(Postscript)
description: ?
author: John Peterson <peterson-john@cs.yale.edu>
updated: ?
language: Prolog
package: SB-Prolog
version: 3.0
author: ?
how to get: ftp pub/sbprolog from sbcs.sunysb.edu
description: ?
contact: ? warren@sbcs.sunysb.edu ?
restriction: ? CopyLeft ?
updated: 1992/09/16
language: prolog
package: swi-prolog
version: 1.6.5
author: Jan Wielemaker <jan@swi.psy.uva.nl>
how to get: ftp ftp from swi.psy.uva.nl [192.42.96.1]
conformance: superset
features: "very nice Ed. style prolog, best free one I've seen"
ports: Sun-4, Sun-3 (complete); Linux, DEC MIPS (done but
incomplete, support needed); RS6000, PS2/AIX, Atari ST,
Gould PN, NeXT, VAX, HP-UX (known problems, support needed);
MSDOS (status unknown)
status: activly developed
discussion: prolog-request@swi.psy.uva.nl
updated: 1992/09/29
language: Prolog
package: Frolic
version: ?
how to get: ftp pub/frolic.tar.Z from cs.utah.edu
requires: Common Lisp
contact: ?
updated: 1991/11/23
language: Prolog
package: ? Prolog package from the University of Calgary ?
version: ?
how to get: ftp pub/prolog1.1/prolog11.tar.Z from cpsc.ucalgary.ca
description: + delayed goals
+ interval arithmetic
requires: Scheme
portability: reliese on continuations
contact: ?
updated: ?
language: Prolog
package: ? slog ?
version: ?
parts: translator(Scheme)
author: dorai@cs.rice.edu
how to get: ftp public/slog.sh from titan.rice.edu
description: macros expand syntax for clauses, elations etc, into Scheme
ports: Chez Scheme
portability: reliese on continuations
updated: ?
language: Prolog
package: LM-PROLOG
version: ?
parts: ?
author: Ken Kahn and Mats Carlsson
how to get: ftp archives/lm-prolog.tar.Z from sics.se
requires: ZetaLisp
contact: ?
updated: ?
language: Prolog
package: ISO draft standard
parts: language definition
how to get: ftp ? from ftp.th-darmstadt.de
updated: 1992/07/06
language: Python
package: Python
version: 0.9.7 beta
parts: interpeter, libraries, documentation, emacs macros
how to get: ftp pub/python* from ftp.cwi.nl
america: ftp ? from wuarchive.wustl.edu
author: Guido van Rossum <guido@cwi.nl>
description: Python is a simple, yet powerful programming language
that bridges the gap between C and shell programming,
and is thus ideally suited for rapid prototyping. Its
syntax is put together from constructs borrowed from a
variety of other languages; most prominent are
influences from ABC, C, Modula-3 and Icon. Python is
object oriented and is suitable for fairly large programs.
+ packages
+ exceptions
+ good C interface
+ dynamic loading of C modules
- arbitrary restrictions
discussion: python-list-request@cwi.nl
ports: unix and Macintosh
updated: 1992/04/08
language: RATFOR
package: ? ratfor ?
version: ?
parts: translator(f77)
author: ?
how to get: comp.sources.unix archives volume 13
description: ?
updated: ?
language: rc
package: rc
version: ?
parts: interpretor
author: ?
how to get: ?? ftp from uunet ?
description: a free implementation of the Plan 9 shell.
contact: ?
updated: ?
langauge: Relation Grammer
package: rl
version: ?
how to get: fto rl/* from flash.bellcore.com
author: Kent Wittenburg <kentw@bellcore.com>
description: The RL files contain code for defining Relational
Grammars and using them in a bottom-up parser to
recognize and/or parse expressions in Relational
Languages. The approach is a simplification of that
described in Wittenburg, Weitzman, and Talley (1991),
Unification-Based Grammars and Tabular Parsing for
Graphical Languages, Journal of Visual Languages and
Computing 2:347-370.
This code is designed to support the definition and
parsing of Relational Languages, which are
characterized as sets of objects standing in
user-defined relations. Correctness and completeness
is independent of the order in which the input is given
to the parser. Data to be parsed can be in many forms
as long as an interface is supported for queries and
predicates for the relations used in grammar
productions. To date, this software has been used to
parse recursive pen-based input such as math
expressions and flowcharts; to check for data integrity
and design conformance in databases; to automatically
generate constraints in drag-and-drop style graphical
interfaces; and to generate graphical displays by
parsing relational data and generating output code.
ports: Allegro Common Lisp 4.1, Macintosh Common Lisp 2.0
requires: Common Lisp
updated: 1992/10/31
language: REXX
package: Regina ?
version: 0.02a
author: Anders Christensen <anders@pvv.unit.no>
how to get: ftp andersrexx/rexx-0.02a.tar.Z from arexx.uwaterloo.ca
or ftp ? from flipper.pvv.unit.no
ports: unix
discussion: comp.lang.rexx
updated: 1992/05/13
language: REXX
package: ?
version: 102
author: ? al ?
how to get: ftp alrexx/rx102.tar.Z from arexx.uwaterloo.ca
or ftp ? from tony.cat.syr.edu
requires: C++
ports: unix
discussion: comp.lang.rexx
contact: ?
updated: 1992/05/13
language: S/SL (Syntax Semantic Language)
package: ssl
version: ?
author: Rick Holt, Jim Cordy <cordy@qucis.queensu.ca> (language),
Rayan Zachariassen <rayan@cs.toronto.edu> (C implementation)
parts: parser bytecode compiler, runtime
how to get: ftp pub/ssl.tar.Z from neat.cs.toronto.edu
description: A better characterization is that S/SL is a language
explicitly designed for making efficient recusive-descent
parsers. Unlike most other languages, practicially the
LEAST expensive thing you can do in S/SL is recur. A
small language that defines input/output/error token
names (& values), semantic operations (which are really
escapes to a programming language but allow good
abstration in the pseudo-code), and a pseudo-code
program that defines a grammar by the token stream the
program accepts. Alternation, control flow, and
1-symbol lookahead constructs are part of the
language. What I call an S/SL "implementation", is a
program that compiles this S/SL pseudo-code into a
table (think byte-codes) that is interpreted by the
S/SL table-walker (interpreter). I think the pseudo-code
language is LR(1), and that the semantic mechanisms turn it
into LR(N) relatively easily.
+ more powerful and cleaner than yac
- slower than yacc
reference: + Cordy, J.R. and Holt, R.C. [1980] Specification of S/SL:
Syntax/Semantic Language, Computer Systems Research
Institute, University of Toronto.
+ "An Introduction to S/SL: Syntax/Semantic Language" by
R.C. Holt, J.R. Cordy, and D.B. Wortman, in ACM Transactions
on Programming Languages and Systems (TOPLAS), Vol 4, No.
2, April 1982, Pages 149-178.
updated: 1989/09/25
language: Sather
package: Sather programming language and environment
version: 0.2g
parts: translator(C), debugger, libraries, documentation, emacs macros
author: International Computer Science Institute in Berkeley, CA
how to get: ftp pub/sather/sa-0.2g.tar.Z from ftp.icsi.berkeley.edu
europe: ftp pub/Sather/* from gmdzi.gmd.de
aus: ftp world/sather/* from lynx.csis.dit.csiro.au
japan: ftp pub/lang/sather/* from sra.co.jp
conformance: reference implemantation
description: Sather is a new object-oriented computer language
developed at the International Computer Science
Institute. It is derived from Eiffel and attempts to
retain much of that language's theoretical cleanliness
and simplicity while achieving the efficiency of C++.
It has clean and simple syntax, parameterized classes,
object-oriented dispatch, multiple inheritance, strong
typing, and garbage collection. The compiler generates
efficient and portable C code which is easily
integrated with existing code.
package: A variety of development tools including a debugger and browser
based on gdb and a GNU Emacs development environment
have also been developed. There is also a class library
with several hundred classes that implement a variety
of basic data structures and numerical, geometric,
connectionist, statistical, and graphical abstractions.
We would like to encourage contributions to the library
and hope to build a large collection of efficient,
well-written, well-tested classes in a variety of areas
of computer science.
ports: Sun4
portability: high
discussion: sather-request@icsi.berkeley.edu
bugs: sather-admin@icsi.berkeley.edu
status: actively developed.
updated: 1992/07/06
language: Scheme
package: Schematik
version: 1.0
parts: programming envrinment
author: Max Hailperin <max@nic.gac.EDU>
how to get: ?
ports: Next, MIT Scheme 7.2.0
portability: requires NextStep
contact: Schematik@GAC.edu
updated: 1991/10/12
language: Scheme
package: T
version: 3.1
parts: compiler
author: ?
how to get: ftp pub/systems/t3.1 from ftp.ai.mit.edu
description: a Scheme-like language developed at Yale. T is
written in itself and compiles to efficient native
code.
(A multiprocessing version of T is available from
masala.lcs.mit.edu:/pub/mult)
ports: Decstation, Sparc, sun-3, Vax(unix), Encore, HP, Apollo,
Mac (A/UX)
contact: t-project@cs.yale.edu.
bugs: t3-bugs@cs.yale.edu
updated: 1991/11/26
language: Scheme
package: scm
version: 4a11
parts: interpreter, conformance test, documentation
author: Aubrey Jaffer <jaffer@zurich.ai.mit.edu>
conformance: superset of Revised^3.99 Report on the Algorithmic
Language Scheme and the IEEE P1178 specification.
how to get: ftp archive/scm/* from altdorf.ai.mit.edu
canada: ftp pub/oz/scheme/new from nexus.yorku.ca
restriction: GNU Copyleft
contributions: send $$$ to Aubrey Jaffer, 84 Pleasant St., Wakefield, MA 01880
ports: unix, amiga, atari, mac, MSDOS, nos/ve, vms
updated: 1992/09/09
language: Scheme
package: siod (Scheme In One Day, or Scheme In One Defun)
version: 2.9
author: George Carrette <gjc@paradigm.com>
how to get: ftp src/lisp/siod-v2.8-shar from world.std.com
description: Small scheme implementation in C arranged as a set of
subroutines that can be called from any main program
for the purpose of introducing an interpreted extension
language. Compiles to ~20K bytes of executable. Lisp
calls C and C calls Lisp transparently.
ports: VAX/VMS, VAX UNIX, Sun3, Sun4, Amiga, Macintosh, MIPS, Cray
updated: 1992/09/01
language: MIT Scheme
package: CScheme
version: 7.2
parts: interpreter, large runtime library, emacs macros,
native-code compiler, emacs-like editor, source-level debugger
author: MIT Scheme Team (primarily Chris Hanson, Jim Miller, and
Bill Rozas, but also many others)
how to get: ftp archive/scheme-7.2 from altdorf.ai.mit.edu
DOS floppies ($95) and Unix tar tapes ($200) from
Scheme Team / c/o Prof. Hal Abelson / MIT AI Laboratory /
545 Technology Sq. / Cambridge, MA 02139
description: Scheme implementation with rich set of utilities.
conformance: full compatibility with Revised^4 Report on Scheme,
one known incompatibility with IEEE Scheme standard
ports: 68k (hp9000, sun3, NeXT), MIPS (Decstation, Sony, SGI),
HP-PA (600, 700, 800), Vax (Ultrix, BSD), Alpha (OSF),
i386 (DOS/Windows, various Unix)
bugs: bug-cscheme@zurich.ai.mit.edu
discussion: info-cscheme@zurich.ai.mit.edu cross-posted to comp.lang.scheme.c
status: activly developed
updated: 1992/08/24
language: Scheme
package: Scheme->C
version: 01nov91
parts: translator(C)
author: ? Digital Western Research Laboratory ?
how to get: ftp pub/DEC/Scheme-to-C/* from gatekeeper.dec.com
documentation: send Subject "help" to WRL-Techreports@decwrl.dec.com
conformance: superset of Revised**3
+ "expansion passing style" macros
+ foreign function call capability
+ interfaces to Xlib (Ezd & Scix)
ports: SunOS, Ultrix, Amiga, Apollo
updated: 1991/11/01
language: Scheme
package: PC-Scheme
version: 3.03
parts: ?
author: Texas Instruments
how to get: ftp archive/pc-scheme/* from altdorf.ai.mit.edu
conformance: Revised^4 Report, also supports dialect used in SICP.
ports: MSDOS
restriction: official version is $95
updated: 1992/02/23
language: Scheme
package: Gambit Scheme System
version: 1.8.2
parts: interpreter, compiler, linker
author: Marc Feeley <feeley@iro.umontreal.ca>
how to get: ftp pub/gambit1.7.1/* from trex.iro.umontreal.ca
description: Gambit is an optimizing Scheme compiler/system.
conformance: IEEE Scheme standard and `future' construct.
restriction: Mac version of compiler & source costs $40.
ports: 68k: unix, sun3, hp300, bbn gp100, NeXT, Macintosh
updated: 1992/07/01
language: Scheme
package: Elk (Extension Language Kit)
version: 1.5
parts: interpreter
how to get: ftp pub/scheme/imp/* from nexus.yorku.ca
author: Oliver Laumann
description: Elk is a Scheme interpreter designed to be used as a
general extension language.
+ interfaces to Xlib, Xt, and various widget sets.
conformance: Mostly R3RS compatable.
ports: unix, ultrix, vax, sun3, sun4, 68k, i386, mips, ibm rt
contact: ?
updated: 1992/03/04
language: Scheme
package: XScheme
version: 0.28
parts: ?
author: David Betz
how to get: ftp pub/scheme/* from nexus.yorku.ca
description: ?
discussion: comp.lang.lisp.x
contact: ?
updated: 1992/02/02
language: Scheme
package: Fools' Lisp
version: 1.3.2
author: Jonathan Lee <jonathan@scam.berkeley.edu>
how to get: ftp src/local/fools.tar.Z from scam.berkeley.edu
description: a small Scheme interpreter that is R4RS conformant.
ports: Sun-3, Sun-4, Decstation, Vax (ultrix), Sequent, Apollo
updated: 1991/10/31
language: Scheme
package: Scheme84
version: ?
parts: ?
how to get: Send a tape w/return postage to: Scheme84 Distribution /
Nancy Garrett / c/o Dan Friedman / Department of Computer
Science / Indiana University / Bloomington, Indiana. Call
1-812-335-9770.
description: ?
ports: vax (vms & bsd unix)
contact: nlg@indiana.edu
updated: ?
language: Scheme
package: UMB Scheme
version: ?
parts: ?, editor, debugger
author: William Campbell <bill@cs.umb.edu>
how to get: ftp pub/scheme/* from nexus.yorku.ca
conformance: R4RS Scheme
ports: ?
updated: ?
language: Scheme
package: PseudoScheme
version: 2.8
parts: translator(Common Lisp)
author: Jonathan Rees <jar@cs.cornell.edu>
conformance: R3RS except call/cc.
requires: Common Lisp
ports: Lucid, Symbolics CL, VAX Lisp, Explorer CL
announcements: info-clscheme-request@mc.lcs.mit.edu
updated: ?
language: Scheme
package: Scheme88
version: ?
parts: ?
how to get: ftp pub/scheme/* from nexus.yorku.ca
contact: ?
updated: ?
language: Scheme
package: Similix
version: ?
parts: partial evaulator, debugger
how to get: ftp misc/Similix.tar.Z from ftp.diku.dk
description: Similix is an autoprojector (self-applicable partial
evaluator) for a higher order subset of the strict functional
language Scheme. Similix handles programs with user defined
primitive abstract data type operators which may process
global variables (such as input/output operators).
conformance: subset
contact: Anders Bondorf <anders@diku.dk>
requires: Scheme
ports: Chez Scheme, T
updated: 1991/09/09
language: Scheme
package: Scheme Library (slib)
version: 1b11
parts: library, documentation
how to get: ftp archive/scm/slib1b*.tar.Z from altdorf.ai.mit.edu
description: SLIB is a portable scheme library meant to provide
compatibiliy and utility functions for all standard scheme
implementations.
ports: GAMBIT, MITScheme, scheme->C, Scheme48, and T3.1
status: actively developed
contact: Aubrey Jaffer <jaffer@zurich.ai.mit.edu>
updated: 1992/10/08
language: Scheme
package: ? syntax-case ?
version: 2.1
parts: macro system, documentation
how to get: ftp pub/scheme/syntax-case.tar.Z from iuvax.cs.indiana.edu
author: R. Kent Dybvig <dyb@cs.indiana.edu>
description: We have designed and implemented a macro system that is
vastly superior to the low-level system described in
the Revised^4 Report; in fact, it essentially
eliminates the low level altogether. We also believe
it to be superior to the other proposed low-level
systems as well, but each of you can judge that for
yourself. We have accomplished this by "lowering the
level" of the high-level system slightly, making
pattern variables ordinary identifiers with essentially
the same status as lexical variable names and macro
keywords, and by making "syntax" recognize and handle
references to pattern variables.
references: + Robert Hieb, R. Kent Dybvig, and Carl Bruggeman "Syntactic
Abstraction in Scheme", IUCS TR #355, 6/92 (revised 7/3/92)
+ R. Kent Dybvig, "Writing Hygienic Macros in Scheme with
Syntax-Case", IUCS TR #356, 6/92 (revised 7/3/92).
ports: Chez Scheme
updated: 1992/07/06
language: Scheme
package: x-scm
version: ?
parts: ?
author: Larry Campbell <campbell@redsox.bsw.com>
how to get: alt.sources archive
description: x-scm is a bolt-on accessory for the "scm" Scheme interpreter that
provides a handy environment for building Motif and OpenLook
applications. (There is some support as well for raw Xlib
applications, but not enough yet to be useful.)
requires: scm, X
ports: ?
updated: 1992/08/10
language: Scheme, Prolog
package: "Paradigms of AI Programming"
version: ?
parts: book with interpreters and compilers in Common Lisp
author: Peter Norvig
how to get: bookstore, and ftp pub/norvig/* from unix.sri.com
updated: ?
language: Scheme
package: PSD (Portable Scheme Debugger)
version: 1.0
parts: debugger
author: Kellom{ki Pertti <pk@cs.tut.fi>
how to get: ftp /pub/src/languages/schemes/psd.tar.Z from cs.tut.fi
description: source code debugging from emacs
requires: R4RS compliant Scheme, GNU Emacs.
restriction: GNU GPL
updated: 1992/07/10
language: sed
package: GNU sed
version: 1.09
parts: interpreter, ?
author: ?
how to get: ftp sed-1.09.tar.Z from a GNU archive site
contact: ?
updated: 1992/05/31
language: Self
package: Self
version: 2.0
parts: ?, compiler?, debugger, browser
author: The Self Group at Sun Microsystems & Stanford University
how to get: ftp ? from self.stanford.edu
The Self Group at Sun Microsystems Laboratories,
Inc., and Stanford University is pleased to announce
Release 2.0 of the experimental object-oriented
exploratory programming language Self.
Release 2.0 introduces full source-level debugging
of optimized code, adaptive optimization to shorten
compile pauses, lightweight threads within Self,
support for dynamically linking foreign functions,
changing programs within Self, and the ability to
run the experimental Self graphical browser under
OpenWindows.
Designed for expressive power and malleability,
Self combines a pure, prototype-based object model
with uniform access to state and behavior. Unlike
other languages, Self allows objects to inherit
state and to change their patterns of inheritance
dynamically. Self's customizing compiler can generate
very efficient code compared to other dynamically-typed
object-oriented languages.
discussion: self-request@self.stanford.edu
ports: Sun-3 (no optimizer), Sun-4
contact: ?
updated: 1992/08/13
language: SGML (Standardized Generalized Markup Language)
package: sgmls
version: 1.0
parts: parser
author: James Clark <jjc@jclark.com> and Charles Goldfarb
how to get: ftp pub/text-processing/sgml/sgmls-1.0.tar.Z from ftp.uu.net
uk: ftp sgmls/sgmls-1.0.tar.Z from sgml1.ex.ac.uk
description: SGML is a markup language standardized in ISO 8879.
Sgmls is an SGML parser derived from the ARCSGML
parser materials which were written by Charles
Goldfarb. It outputs a simple, easily parsed, line
oriented, ASCII representation of an SGML document's
Element Structure Information Set (see pp 588-593
of ``The SGML Handbook''). It is intended to be
used as the front end for structure-controlled SGML
applications. SGML is an important move in the
direction of separating information from its
presentation, i.e. making different presentations
possible for the same information.
ports: unix, msdos
updated: 1992/10/20
language: Simula
package: Lund Simula
version: 4.07
author: ?
how to get: ftp misc/mac/programming/+_Simula/* from rascal.ics.utexas.edu
description: ?
contact: Lund Software House AB / Box 7056 / S-22007 Lund, Sweden
updated: 1992/05/22
language: Smalltalk
package: Little Smalltalk
version: 3
author: Tim Budd ?
how to get: ftp pub/budd/? from cs.orst.edu
ports: unix, pc, atari, vms
status: ?
updated: ?
language: Smalltalk
package: GNU Smalltalk
version: 1.1.1
parts: ?
author: ?
how to get: ftp smalltalk-1.1.1.tar.Z from a GNU archive site
description: ?
discussion: ?
bugs: gnu.smalltalk.bug
contact: ?
updated: 1991/09/15
language: Smalltalk
package: Manchester Smalltalk Goodies Library
parts: libraries
how to get: ftp uiuc/st*/* from st.cs.uiuc.edu
uk: ftp uiuc/st*/* from mushroom.cs.man.ac.uk
description: a large collection of libraries for smalltalk
contact: goodies-lib@cs.man.ac.uk
updated: 1992/07/06
language: Snobol4
package: SIL (Macro Implementation of SNOBOL4)
version: 3.11
how to get: ftp snobol4/* from cs.arizona.edu
contact: snobol4@arizona.edu
updated: 1986/07/29
language: Snobol4
package: vinilla
version: ?
author: Catspaw, Inc.
how to get: ftp snobol4/vanilla.arc from cs.arizona.edu
contact: ?
ports: MSDOS
updated: 1992/02/05
language: SR (Synchronizing Resources)
package: sr
version: 2.0
parts: ?, documentation, tests
how to get: ftp sr/sr.tar.Z from cs.arizona.edu
description: SR is a language for writing concurrent programs.
The main language constructs are resources and
operations. Resources encapsulate processes and
variables they share; operations provide the primary
mechanism for process interaction. SR provides a novel
integration of the mechanisms for invoking and
servicing operations. Consequently, all of local and
remote procedure call, rendezvous, message passing,
dynamic process creation, multicast, and semaphores are
supported.
reference: "The SR Programming Language: Concurrency in Practice",
by Gregory R. Andrews and Ronald A. Olsson, Benjamin/Cummings
Publishing Company, 1993, ISBN 0-8053-0088-0
contact: sr-project@cs.arizona.edu
discussion: info-sr-request@cs.arizona.edu
ports: Sun-4, Sun-3, Decstation, SGI Iris, HP PA, HP 9000/300,
NeXT, Sequent Symmetry, DG AViiON, RS/6000, Multimax,
Apollo, and others.
updated: 1992/09/01
language: Standard ML
package: sml2c
version: ?
parts: translator(C), documentation, tests
how to get: ftp /usr/nemo/sml2c/sml2c.tar.Z from dravido.soar.cs.cmu.edu
linux: ftp pub/linux/smlnj-0.82-linux.tar.Z from ftp.dcs.glasgow.ac.uk
author: School of Computer Science, Carnegie Mellon University
conformance: superset
+ first-class continuations,
+ asynchronous signal handling
+ separate compilation
+ freeze and restart programs
history: based on SML/NJ version 0.67 and shares front end and
most of its runtime system.
description: sml2c is a Standard ML to C compiler. sml2c is a batch
compiler and compiles only module-level declarations,
i.e. signatures, structures and functors. It provides
the same pervasive environment for the compilation of
these programs as SML/NJ. As a result, module-level
programs that run on SML/NJ can be compiled by sml2c
without any changes. It does not support SML/NJ style
debugging and profiling.
ports: IBM-RT Decstation3100 Omron-Luna-88k Sun-3 Sun-4 386(Mach)
portability: easy, easier than SML/NJ
contact: david.tarditi@cs.cmu.edu anurag.acharya@cs.cmu.edu
peter.lee@cs.cmu.edu
updated: 1991/06/27
language: Standard ML
package: SML/NJ
version: 0.75
parts: ?
author: ?
how to get: ftp /lang/sml_nj_0.75/* from nuri.inria.fr
description: ?
bugs: ?
discussion: ?
updated: 1991/11/25
language: TCL (Tool Command Language)
package: TCL
version: 6.3
parts: interpreter, libraries, tests, documentation
how to get: ftp tcl/tcl6.3.tar.Z from sprite.berkeley.edu
msdos: ftp ? from cajal.uoregon.edu
macintosh: ftp pub/ticl from bric-a-brac.apple.com
author: John Ousterhout <ouster@cs.berkeley.edu>
description: TCL started out as a small language that could be
embedded in applications. It has now been extended
into more of a general purpose shell type programming
language. TCL is like a text-oriented Lisp, but lets
you write algebraic expressions for simplicity and to
avoid scaring people away.
+ may be used as an embedded interpreter
+ exceptions, packages (called libraries)
- only a single name-space
+ provide/require
- no dynamic loading ability
? - arbitrary limits ?
- three variable types: strings, lists, associative arrays
bugs: ?
discussion: comp.lang.tcl
ports: ?
updated: 1992/05/14
language: TCL
package: BOS - The Basic Object System
version: 1.31
parts: library
author: Sean Levy <Sean.Levy@cs.cmu.edu>
how to get: ftp tcl/? from barkley.berkeley.edu
description: BOS is a C-callable library that implements the
notion of object and which uses Tcl as its interpreter
for interpreted methods (you can have "compiled"
methods in C, and mix compiled and interpreted
methods in the same object, plus lots more stuff).
I regularly (a) subclass and (b) mixin existing
objects using BOS to extend, among other things,
the set of tk widgets (I have all tk widgets wrapped
with BOS "classes"). BOS is a class-free object
system, also called a prototype-based object system;
it is modeled loosely on the Self system from
Stanford.
updated: 1992/08/21
language: Web
package: web2c
version: ?
parts: translator(C)
how to get: ftp ? from ftp.cs.umb.edu
description: A version of tangle that outputs C code
contact: ?
updated: ?
language: Web
package: Web
version: ?
parts: translator(Pascal)
author: Donald Knuth
how to get: ftp ? from labrea.stanford.edu
description: Donald Knuth's programming language where you
write the source and documentation together.
contact: ?
updated: ?
language: yacc
package: NewYacc
version: 1.0
parts: parser generator, documenation
how to get: ftp src/newyacc.1.0.*.Z from flubber.cs.umd.edu
author: Jack Callahan <callahan@mimsy.cs.umd.edu>
reference: see Dec 89 CACM for a brief overview of NewYacc.
updated: 1992/02/10
language: yacc
package: bison
version: 1.18
parts: parser generator, documentation
author: many ?
how to get: ftp bison-1.16.tar.Z from a GNU archive site
bugs: bug-gnu-utils@prep.ai.mit.edu
ports: unix, atari, ?
restriction: *** will CopyLeft your code if you use it ***
updated: 1992/01/28
language: yacc
package: ? jaccl ?
version: ?
parts: parser generator
author: Dave Jones <djones@megatest.uucp>
description: a LR(1) parser generator
how to get: ?
updated: 1989/09/08
language: yacc
package: byacc (Berkeley Yacc)
version: ?
parts: parser generator
author: Robert Corbett ? <corbett@ernie.Berkeley.EDU> ?
how to get: ftp pub/byacc.tar.Z from ucbarpa.berkeley.edu
description: ?
history: Used to be called Zoo, and before that, Zeus
updated: 1990/02/05
-------------------------------------------------------------------------------
------------------------------ archives ---------------------------------------
-------------------------------------------------------------------------------
language: APL, J
package: APL, J, and other APL Software at Waterloo
parts: ftp archive
how to get: ftp languages/apl/index from watserv1.waterloo.edu
contact: Leroy J. (Lee) Dickey <ljdickey@math.waterloo.edu>
updated: 1992/07/06
language: lisp
package: MIT AI Lab archives
description: archive of lisp extensions, utilities, and libraries
how to get: ftp pub/* from ftp.ai.mit.edu
contact: ?
updated: ?
language: lisp
package: Lisp Utilities collection
description: an archive of lisp extensions, tools, and libraries
how to get: ftp Lisp-Utilities from ftp.cs.cmu.edu ?
contact: cl-utilities-request@cs.cmu.edu
updated: ?
language: Scheme
package: The Scheme Repository
description: an archive of scheme material including a bibliography,
the R4RS report, sample code, utilities, and implementations.
how to get: ftp pub/scheme/* from nexus.yorku.ca
contact: Ozan S. Yigit <scheme@nexus.yorku.ca>
updated: ?
language: C, C++, Objective C, yacc, lex, postscript,
sh, awk, smalltalk, sed
package: the GNU archive sites
description: There are many sites which mirror the master gnu archives
which live on prep.ai.mit.edu. Please do not use
the master archive without good reason.
how to get: pub/gnu/* from prep.ai.mit.edu
USA: ftp mirrors4/gnu/* from wuarchive.wustl.edu
ftp pub/src/gnu/* from ftp.cs.widener.edu
ftp gnu/* from uxc.cso.uiuc.edu
ftp mirrors/gnu/* from col.hp.com
ftp pub/GNU/* from gatekeeper.dec.com
ftp packages/gnu/* from ftp.uu.net
Japan: ftp ? from ftp.cs.titech.ac.jp
ftp ftpsync/prep/* from utsun.s.u-tokyo.ac.jp
Australia: ftp gnu/* from archie.au
Europe: ftp gnu/* from src.doc.ic.ac.uk
ftp pub/GNU/*/* from ftp.informatik.tu-muenchen.de [re-org'ed]
ftp pub/gnu/* from ftp.informatik.rwth-aachen.de
ftp pub/gnu/* from nic.funet.fi
ftp pub/gnu/* from ugle.unit.no
ftp pub/gnu/* from isy.liu.se
ftp pub/gnu/* from ftp.stacken.kth.se
ftp pub/gnu/* from sunic.sunet.se [re-org'ed]
ftp pub/gnu/* from ftp.win.tue.nl
ftp pub/gnu/* from ftp.diku.dk
ftp software/gnu/* from ftp.eunet.ch
ftp gnu/* from archive.eu.net [re-org'ed]
updated: 1992/10/12
-------------------------------------------------------------------------------
----------------------------- references --------------------------------------
-------------------------------------------------------------------------------
name: Language List
author: Bill Kinnersley <billk@hawk.cs.ukans.edu>
how to get: posted regularly to comp.lang.misc
description: Descriptions of almost every computer langauge there is.
Many references to available source code.
version: 1.7 ?
updated: 1992/04/05
name: Catalog of embeddable Languages.
author: Colas Nahaboo <colas@bagheera.inria.fr>
how to get: posted to comp.lang.misc,comp.lang.tcl
description: Descriptions of languages from the point of view of
embedding them.
version: 2
updated: 1992/07/09
name: Survey of Interpreted Languages
author: Terrence Monroe Brannon <tb06@CS1.CC.Lehigh.ED>
how to get: Posted to comp.lang.tcl,comp.lang.misc,comp.lang.perl,
gnu.emacs.help,news.answers; or ftp
pub/gnu/emacs/elisp-ar*/pack*/Hy*Act*F*/survey-inter*-languages
from archive.cis.ohio-state.edu.
description: Detailed comparision of a few interpreters: Emacs Lisp,
Perl, Python, and Tcl.
version: ?
updated: ?
name: Compilers bibliography
author: Cheryl Lins <lins@apple.com>
how to get: ftp pub/oberon/comp_bib_1.4.Z from ftp.apple.com
description: It includes all the POPLs, PLDIs, Compiler Construction, TOPLAS,
and LOPAS. Plus various articles and papers from other sources on
compilers and related topics
version: 1.4
updated: 1992/10/31